（来源：上观新闻）
Token暴增🍲👩🦱背后的算🗝🇨🇴力压力✒ 在Op🇩🇲enAI Co⛹️♀️dex🧨工程负责人T🍰ibo打出“提🇵🇱👺升计算效🇹🇰📗率、解决硬核工程👂🔟”的广告🧵🦅语后，O🇻🇺🇲🇺pen🤚🎨AI CEO山💼姆·奥👡尔特曼回应称📡🇮🇳：很高兴大家都在🇲🇪转向Cod☘🎻ex，🇹🇩👩👧👦但如果↖💯Tibo你😁💌开始限速😎👊或提供更差的👨模型…🖊 有网友在🌹评论区🙍调侃称：一家估值🇦🇿👨👩👧👦8000亿美元🇵🇳的CEO公开🔐⛓担心自己产品的👜🐭调用速率被限制🧿👴，这等于公🐀开暴露了➖它的单位经🌚🇦🇱济模型有多糟糕🇨🇦。
没有竞争，价格🤭🇦🇨就是台💻😍积电说了算🇬🇪。你是默认🏊🤼♂️选项，你是所©有采购决🤗🇦🇲策的起点🕙🈴。它没有直接瞄🍧♟️准数据中心推理市🥾🇦🇶场，而🇳🇵🦶是做A🍖🌔I芯片的"I📴〰P授权🇵🇱♉商"，让三星、L🚁📤G、现代这样🇹🇰的公司用Tens😜🇵🇸tor👩🦱9️⃣rent🏩🎂的Te🇮🇳🧹nsi🕞x AI核心和🥖Asca⛅📔lon💛 RISC-V📆 CPU核心设计🌑🚝自己的定制⛷芯片🇦🇬🎻。
图丨相🐋关论文（来源：🔛arXi🇭🇷🗻v） 相👾📓关论文🐮以《F📒M-A📁🌡gent：◽📄通过基于大语🕥✍言模型◾🏘的霍尔逻辑🇬🇬推理将🚚🦉形式化方法扩🇰🇮展至大规模系统🇳🇿软件》（FM-⛽🎦Agent:🎯 Sc🇧🇪aling 🇮🇳Formal🇸🇽🍾 Methods🏞 to📪🧞♀️ Large S🇸🇧ystems v👓ia LLM⛔-Based 🍺Hoa😌re-🇹🇳Styl🚲🐘e Reas🇱🇻🛀oni👨🏫🙉ng）为题发表在🍙预印本网站 💁♂️👯♂️arX👧iv[1]🇸🇹。
